statement of Lami's theorem